free variables and bound variables中文什么意思
发音:
约束变量
自由变量
自由变量和约束变量
百科释义
In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation that specifies places in an expression where substitution may take place. The idea is related to a placeholder (a symbol that will later be replaced by some literal string), or a wildcard character that stands for an unspecified symbol.
详细百科解释
